#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include "../input/input.h"
#include "parser.h"

int main(int argc, char** argv){
	if(argc!=2){
		printf("Eksekusi dengan:\n");
		printf("main Nama_File\n");
	}
	else{
		printf("Loading file...\n");
		Read(argv[1]);
		int i;
		for(i = 0; i < lnum; i++){
			printf("%s\n",Line[i]);
		}
        
        parse_premise();
        parse_goal();
	}
    return 0;
}
